COMMENT ⊗   VALID 00014 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	TITLE X
C00003 00003	BEG:	SETOM LINE
C00006 00004	PLOT:	HRR C,IBUF+1
C00008 00005	OOBAR:	SETZM OOBFLG
C00012 00006	MVLFT:	MOVMS 0
C00018 00007	CORUP
C00022 00008	FRD:	MOVSI A,'DMD'
C00024 00009	GETNAM:	MOVEI A,
C00025 00010	XINI:	OUTSTR [ASCIZ /TOTAL LENGTH IN INCHES (Y DIMENSION, DEFAULT = 11)?/]
C00028 00011	FINDL:	HRRZ A,JOBREL
C00032 00012	NAMGET:	CLRBFI
C00034 00013	INBITS:	PUSHJ P,NAMGET
C00036 00014	FILNAM:	0
C00037 ENDMK
C⊗;
TITLE X
A←1
B←2
C←3
D←4
E←5
L←6
U←7
X←11
Y←12
XD←13
T←15
TT←16
P←17
LPDL←←69
DSK←←1
XGP←←2
LMAR←←=0
RMAR←←=1699
WIDTH←←=1700
LBUFL←←=48
LSTBIT←←1⊗34
OVERLAP←←=50
DOFF←←-=760
NBUFS←←4
EXTERN JOBREL,JOBFF,JOBTPC,JOBAPR,JOBCNI
MAILBF:	BLOCK 40
SIGN:	0
LINE:	0
PNTR:	0
BEG:	SETOM LINE
	GETLIN LINE		;FOR ERROR PRINTOUT
	CALLI
	HRRZS LINE		;CLEAR LINE BITS
	HRRZI A,CORUP
	HRRZM A,JOBAPR
	SETOM SSS#
	HRRZ A,JOBFF
	CORE A,
	JRST 4,.

;FLUSHED BY REG  1-3-76
;	MOVE A,[IPC:20000 ↔ 0]
;	INTENB A,
;
;ADDED BY REG:
	MOVEI	A,20000		;REG  MPV
	APRENB	A,		;REG  ENABLE OLD WAY!

	MOVE P,[-LPDL,,PDL-1]
	OUTSTR [ASCIZ /OLD? /]
	INCHWL E
	CAIE E,131
	CAIN E,171
	JRST INBITS
	CLRBFI
FILIN:	OUTSTR [ASCIZ /FILE? (DEFAULT IS PLT.DMD) /]
	PUSHJ P,FRD
	SETZ A,
YAGN1:	HRREI B,-60
	SETZM ROFLG#
OUTSTR [ASCIZ/ROTATE?/]
	INCHWL E
	CAIE E,131
	CAIN E,171
	SETOM ROFLG
	CLRBFI
OUTSTR [ASCIZ/ORIGIN X OFFSET FROM RIGHT (DEFAULT IS 4(CENTER))?/]
	PUSHJ P,RNUM
	JRST [	HRREI A,-=760 
		JRST YDEF]
	IMULI A,=100
	CAIN C,"."		;DECIMAL POINT?
	JRST [	INCHWL C
		CAIN C,15
		INCHWL C
		CAIL C,"0"
		CAILE C,"9"
		JRST .+1
		SUBI C,60
		IMULI C,=10
		SKIPE SIGN
		MOVN C,C
		ADD A,C
		PUSH P,A
		PUSHJ P,RNUM
		JFCL
		POP P,A
		JRST .+1]
	MOVN A,A
	LSH A,1			;*2 (MAKE IT STEPS)
YDEFP:	CAIE C,12
	JRST [	CLRBFI
		JRST YAGN1]
YDEF:	ADD A,B
	MOVNM A,INIX#
AGAIN:	MOVE A,[FILNAM,,LKENT]
	BLT A,LKENT+3
	OPEN DSK,[14↔'DSK   '↔IBUF]
	JRST 4,.
	INBUF DSK,NBUFS
	LOOKUP DSK,LKENT
	JRST FNF
ASKLEN:	SETZM POOBX#
	SETZM POOBY#
	PUSHJ P,XINI
;	JRST CORLUZ
	SETZM XX#
	SETZM YY#
	MOVEI C,3
	HRRZM C,PENN#
OUTER:	IN DSK,
	JRST PLOT
	STATO DSK,20000
	JRST 4,.
	RELEAS DSK,
IFN LSTBIT-1,<PUSHJ P,XFIX>
	JRST PCUT
PLOT:	HRR C,IBUF+1
	MOVN E,1(C)
	MOVSI E,(E)
	HRR E,IBUF+1
	SKIPL ROFLG
	JRST PLOT1
	MOVE A,E
ROTA:	MOVE 14,2(A)
	LSHC 14,-10
	HLLZ C,15
	LSHC 14,-16
	HLLZ D,15
	LSHC 14,-16
	EXCH 15,D
	LSHC 14,16
	ASH D,-26
	MOVN 15,D
	LSH 15,26
	LSHC 14,16
	HLLZ 15,C
	LSHC 14,10
	MOVEM 14,2(A)
	AOBJN A,ROTA
PLOT1:	MOVE 14,2(E)
	LSHC 14,-10
	ASH 15,-34
	MOVEM 15,SVPEN#
	MOVM A,15
	LSHC 14,-16
	ASH 15,-26
	MOVEM 15,SVY#
	SUB 15,YY
	MOVEM 15,SVYSB#
	IMULI 15,LBUFL+1
	ADD 15,Y
	MOVEM 15,SVYOD#
	CAIGE 15,(L)
	JRST LOSE
	CAIL 15,-LBUFL-1(U)
	JRST LOSE
	LSHC 14,-16
	ASH 15,-26
	MOVEM 15,SVX#
	SUB 15,XX
	MOVE 0,15
	HRRZ 16,X
	IMULI 16,44
	JFFO B,.+1
	ADD 16,C
	SUB 16,15
	JUMPL 16,LOSEX
	CAILE 16,=1727
	JRST LOSEX
	SKIPE OOBFLG#
	JRST OOBAR
FIXUP:	CAIE A,1
	HRRM A,PENN
	HRR A,PENN
	CAIN A,3
	JRST PENUP
	MOVE C,SVYSB
	IORM B,@X
	JUMPE NORMX
	JUMPL MVLFT
	JUMPE C,NRT
	JUMPL C,MVDWN
	CAMLE C,0
	JRST XCHA
	SETZ 14,
	TLNE C,200000
	JRST .+4
	LSH C,1
	TRO C,1
	AOJA 14,.-4
	SUBI 14,=34
	IDIV C,0
	MOVNS 14
	LSH C,(14)
	SETZ 15,
INLOOP:	ADD 15,C
	TLZE 15,200000
	ADDI Y,LBUFL+1
	SKIPGE B
	SOJ X,
	ROT B,1
	IORM B,@X
	SOJG INLOOP
	JRST DONXT
OOBAR:	SETZM OOBFLG
	AOSG SSS
	JRST FIXUP
PENUP:	HRR Y,SVYOD
	JUMPE 15,NXTY
	JUMPL 15,PULFT
	CAIGE 15,44
	JRST XLOOP
	IDIVI 15,44
	SUB X,15
	HRR 15,16
XLOOP:	SOJL 15,DONXT
	SKIPGE B
	SOJ X,
	ROT B,1
	JRST XLOOP

PULFT:	MOVMS 15
	CAIGE 15,44
	JRST OOO
	IDIVI 15,44
	ADD X,15
	HRR 15,16
OOO:	SOJL 15,DONXT
	ROT B,-1
	JUMPGE B,OOO
	AOJ X,
	JRST OOO

XCHA:	SETZ 14,
	TLNE 0,200000
	JRST .+4
	LSH 0,1
	TRO 0,1
	AOJA 14,.-4
	SUBI 14,=34
	IDIV 0,C
	MOVNS 14
	LSH 0,(14)
	SETZ 15,
INLOO:	ADD 15,0
	TLZN 15,200000
	JRST MVUP
	SKIPGE B
	SOJ X,
	ROT B,1
MVUP:	ADDI Y,LBUFL+1
	IORM B,@X
	SOJG C,INLOO
	JRST DONXT

MVDWN:	MOVMS C
	CAMLE C,0
	JRST XCHA2
	SETZ 14,
	TLNE C,200000
	JRST .+4
	LSH C,1
	TRO C,1
	AOJA 14,.-4
	SUBI 14,=34
	IDIV C,0
	MOVNS 14
	LSH C,(14)
	SETZ 15,
INLOP:	ADD 15,C
	TLZE 15,200000
	SUBI Y,LBUFL+1
	SKIPGE B
	SOJ X,
	ROT B,1
	IORM B,@X
	SOJG INLOP
	JRST DONXT

XCHA2:	SETZ 14,
	TLNE 0,200000
	JRST .+4
	LSH 0,1
	TRO 0,1
	AOJA 14,.-4
	SUBI 14,=34
	IDIV 0,C
	MOVNS 14
	LSH 0,(14)
	SETZ 15,
INOOP:	ADD 15,0
	TLZN 15,200000
	JRST MVEX
	SKIPGE B
	SOJ X,
	ROT B,1
MVEX:	SUBI Y,LBUFL+1
	IORM B,@X
	SOJG C,INOOP
	JRST DONXT

NRT:	JUMPL B,GOOP
TOOT:	ROT B,1
	IORM B,@X
	SOJG 0,NRT
	JRST DONXT
GOOP:	SOJ X,
	CAIGE 0,44
	JRST TOOT
	IDIVI 0,44
	SETOM @X
	SOJ X,
	SOJG 0,.-2
	HRR 0,1
	JUMPN 0,TOOT
	AOJ X,
	JRST DONXT

NLFT:	MOVMS 0
	ROT B,-1
	JUMPL B,ROOT
WOOP:	IORM B,@X
	SOJG 0,.-3
	JRST DONXT
ROOT:	AOJ X,
	CAIGE 0,44
	JRST WOOP
	IDIVI 0,44
	SETOM @X
	AOJ X,
	SOJG 0,.-2
	HRR 0,1
	JUMPN 0,WOOP
	SOJ X,
	ROT B,1
	JRST DONXT
NORMX:	JUMPE C,NOMOVE
	JUMPL C,MDOWN
MUP:	ADDI Y,LBUFL+1
	IORM B,@X
	SOJG C,MUP
	JRST DONXT
MDOWN:	SUBI Y,LBUFL+1
	IORM B,@X
	AOJL C,MDOWN
DONXT:	MOVE 4,SVX
	MOVEM 4,XX
NXTY:	MOVE 4,SVY
	MOVEM 4,YY
NOMOVE:	SKIPL SVPEN
	JRST ENOUT
	SETZM XX
	SETZM YY
ENOUT:	AOBJN E,PLOT1
	JRST OUTER

MVLFT:	MOVMS 0
	MOVMS 15
	JUMPE C,NLFT
	HRR Y,SVYOD
	IDIVI 15,44
	ADD X,15
XEND:	SOJL 16,DUN
	ROT B,-1
	JUMPGE B,XEND
	AOJ X,
	JRST XEND
DUN:	MOVEM X,XX
	MOVEM B,YY
	IORM B,@X
	JUMPL C,MVLD
	CAMLE C,0
	JRST XCHA3
	SETZ 14,
	TLNE C,200000
	JRST .+4
	LSH C,1
	TRO C,1
	AOJA 14,.-4
	SUBI 14,=34
	IDIV C,0
	MOVNS 14
	LSH C,(14)
	SETZ 15,
ILOOP:	ADD 15,C
	TLZE 15,200000
	SUBI Y,LBUFL+1
	SKIPGE B
	SOJ X,
	ROT B,1
	IORM B,@X
	SOJG ILOOP
	JRST BFOR

XCHA3:	SETZ 14,
	TLNE 0,200000
	JRST .+4
	LSH 0,1
	TRO 0,1
	AOJA 14,.-4
	SUBI 14,=34
	IDIV 0,C
	MOVNS 14
	LSH 0,(14)
	SETZ 15,
ILOP:	ADD 15,0
	TLZN 15,200000
	JRST DOQ
	SKIPGE B
	SOJ X,
	ROT B,1
DOQ:	SUBI Y,LBUFL+1
	IORM B,@X
	SOJG C,ILOP
	JRST BFOR

MVLD:	MOVMS C
	CAMLE C,0
	JRST XCHA4
	SETZ 14,
	TLNE C,200000
	JRST .+4
	LSH C,1
	TRO C,1
	AOJA 14,.-4
	SUBI 14,=34
	IDIV C,0
	MOVNS 14
	LSH C,(14)
	SETZ 15,
LOOP:	ADD 15,C
	TLZE 15,200000
	ADDI Y,LBUFL+1
	SKIPGE B
	SOJ X,
	ROT B,1
	IORM B,@X
	SOJG LOOP
	JRST BFOR

XCHA4:	SETZ 14,
	TLNE 0,200000
	JRST .+4
	LSH 0,1
	TRO 0,1
	AOJA 14,.-4
	SUBI 14,=34
	IDIV 0,C
	MOVNS 14
	LSH 0,(14)
	SETZ 15,
LOP:	ADD 15,0
	TLZN 15,200000
	JRST DOP
	SKIPGE B
	SOJ X,
	ROT B,1
DOP:	ADDI Y,LBUFL+1
	IORM B,@X
	SOJG C,LOP
BFOR:	HRR Y,SVYOD
	MOVE X,XX
	MOVE B,YY
	JRST DONXT
;CORUP

CORUP:

REPEAT 0,<	OLD WAY - FLUSHED BY REG 1-3-76

	HRRZ B,JOBCNI
	CAIE B,20000
	DISMIS
	MOVE A,JOBTPC
	MOVEM A,IPC+1
	UWAIT
	DEBREAK
>;END REPEAT 0

BUST:	MOVEM	1,SVONE#
 	MOVEM	2,SVTWO#
	MOVEM	TT,SVTTT#
	MOVE	1,JOBCNI	;REG  GET APR CONI BITS
	TRNN	1,20000		;REG  IS THERE AN MPV?
	JRST	NOMPV		;REG  NO
	HRRZ	1,JOBREL	;OLD CORE SIZE
	MOVSI	2,1(1)		;FIRST NEW WORD WE'LL GET
	HRRI	2,2(1)		;SECOND NEW WORD  - 2 HAS A BLT POINTER.
	ADDI	1,10000		;GET ANOTHER 4K
	MOVE	TT,1
	CORE	1,
	PUSHJ	P,CORLUZ
	HRRZ	1,JOBREL
	SETZM	-1(2)
 	BLT	2,(1)
	MOVE	1,SVONE
 	MOVE	2,SVTWO
	MOVE	TT,SVTTT

REPEAT 0,<
	INTJEN IPC
>

	JRST	2,@JOBTPC	;REG  THIS IS HOW TO DISMISS OLD INTERRUPT

NOMPV:	OUTSTR	[ASCIZ/UNEXPECTED INTERRUPT?
/]
	JRST	2,@JOBTPC


FNF:	PUSHJ P,DETCHK
	PUSHJ P,XERR
	PUSHJ P,ERRPNT
	ASCIZ /LOOKUP FAILED.
/
	SKIPGE DET
	CALLI 12
	JRST FILIN

CORLUZ:	MOVE T,TT
	LSH T,-12
	PUSH P,T
	PUSHJ P,DETCHK
	PUSHJ P,XERR
	POP P,T
	PUSHJ P,DECOUT
	PUSHJ P,ERRPNT
	ASCIZ / K OF CORE NEEDED!
/
	SKIPGE DET
	CALLI 12
	JRST ASKLEN

LOSEX:	SETOM OOBFLG
	SKIPE POOBX
	JRST PENUP
	SETOM POOBX
	PUSHJ P,DETCHK
	PUSHJ P,XERR
	PUSHJ P,ERRPNT
	ASCIZ /POINT OUT OF BOUNDS, /
	JUMPL 16,[PUSHJ P,ERRPNT
		  ASCIZ/-X/
		  JRST PENUP]
	PUSHJ P,ERRPNT
	ASCIZ/+X/
	JRST PENUP

LOSE:	SETOM OOBFLG
	SKIPE POOBY
	JRST LOBAC
	SETOM POOBY
	PUSHJ P,DETCHK
	PUSHJ P,XERR
	PUSHJ P,ERRPNT
	ASCIZ /POINT OUT OF BOUNDS, /
	CAIGE 15,(L)
	JRST [	PUSHJ P,ERRPNT
		ASCIZ/-Y/
		JRST LOBAC]
	PUSHJ P,ERRPNT
	ASCIZ/+Y/
LOBAC:	LSHC 14,-16
	ASH 15,-26
	MOVEM 15,SVX
	SUB 15,XX
	JRST PENUP

DECOUT:	IDIVI T,=10
	HRLM TT,(P)
	SKIPE T
	PUSHJ P,DECOUT
	HLRZ TT,(P)
	ADDI TT,60
	ROT TT,-7
	MOVEM TT,.+2
	PUSHJ P,ERRPNT
	0
	POPJ P,

ERRPNT:	HRRZ TT,(P)
	MOVEM TT,PNTR
	MOVEI TT,LINE
	TTYMES TT,
	JRST [	OUTSTR[ASCIZ/TTYMES FAILED	/]
		OUTSTR @PNTR
		OUTSTR[ASCIZ/
/]
		JRST .+1]
	POP P,TT
	HRL TT,(TT)
	TLNE TT,376
	AOJA TT,.-2
	JRST 1(TT)

XERR:	PUSHJ P,ERRPNT
	ASCIZ/
MESSAGE FROM X WORKING ON /
	MOVE TT,FILNAM
	PUSHJ P,SIXOUT
	PUSHJ P,ERRPNT
	ASCIZ/./
	HLLZ TT,FILEXT
	PUSHJ P,SIXOUT
	PUSHJ P,ERRPNT
	ASCIZ/[/
	MOVE TT,FILPPN
	PUSHJ P,SIXOUT
	PUSHJ P,ERRPNT
	ASCIZ/] : /
	POPJ P,

SIXOUT:	JUMPE TT,CPOPJ
	SETZ T,
	LSHC T,6
	ADDI T,40
	PUSH P,TT
	ROT T,-7
	MOVEM T,.+2
	PUSHJ P,ERRPNT
	0
	POP P,TT
	JRST SIXOUT

DETCHK:	SETOM DET#
	GETLIN DET
	HRRES DET
	SKIPL DET
	AOS (P)
	POPJ P,
FRD:	MOVSI A,'DMD'
	MOVEM A,FILEXT
	PUSHJ P,GETNAM
	SKIPN A
 	MOVE A,['PLT   ']
    	MOVEM A,FILNAM
	CAIE C,"."
	JRST NOEXT
	PUSHJ P,GETNAM
	MOVEM A,FILEXT
NOEXT:	CAIE C,"["
	JRST FRDX
	PUSHJ P,GETP
	HRLZM A,FILPPN
	PUSHJ P,GETP
	HRRM A,FILPPN
FRDX:	INCHRW C
	CAIE C,12
	JRST FRDX
	POPJ P,

RNUM:	INCHWL C
	CAIN C,15
	JRST RNUM
	CAIN C,12
	POPJ P,
	AOS (P)
	MOVEI A,
	SETZM SIGN
	CAIN C,"-"
	JRST [	PUSHJ P,RNUML
		SETOM SIGN
		MOVN A,A
		POPJ P,]
	CAIN C,"+"
RNUML:	INCHWL C
	CAIL C,"0"
	CAILE C,"9"
	JRST RNUMX
	IMULI A,12
	ADDI A,-"0"(C)
	JRST RNUML

RNUMX:	CAIN C,15
	INCHRW C
	POPJ P,
GETNAM:	MOVEI A,
	MOVE B,[440600,,A]
GETNML:	PUSHJ P,RCH
	POPJ P,
	SUBI C,40
	TLNE B,770000
	IDPB C,B
	JRST GETNML

GETP:	MOVEI A,
GETPL:	PUSHJ P,RCH
	POPJ P,
	TRNE A,770000
	JRST GETPL
	LSH A,6
	ADDI A,-40(C)
	JRST GETPL

RCH:	INCHWL C
	CAIN C,42
	JRST RCHQ
	CAIE C,11
	CAIN C," "
	JRST RCH
	CAIE C,"."
	CAIN C,","
	POPJ P,
	CAIE C,"["
	CAIN C,"]"
	POPJ P,
RCHQR:	CAIGE C,40
	POPJ P,
	CAIL C,"a"
	CAILE C,"z"
	CAIA
	SUBI C,40
	JRST POPJ1

RCHQ:	INCHWL C
	JRST RCHQR
XINI:	OUTSTR [ASCIZ /TOTAL LENGTH IN INCHES (Y DIMENSION, DEFAULT = 11)?/]
	SETZM DEFA#
	PUSHJ P,RNUM
	SETOM DEFA		;ASSUME 11 INCHES
	JUMPLE A,[XINLER:CLRBFI
		JRST XINI]
	SKIPGE DEFA
	HRRZI A,=11
	CAIE C,12
	JRST XINLER
	IMULI A,=200
	PUSH P,A
YINI1:	SKIPL ROFLG
	OUTSTR [ASCIZ \ORIGIN Y OFFSET FROM BOTTOM, 200/IN.(DEFAULT IS 100)?\]
	SKIPGE ROFLG
	OUTSTR [ASCIZ \ORIGIN Y OFFSET FROM BOTTOM, 200/IN.(DEFAULT IS 1000)?\]
	PUSHJ P,RNUM
	JRST [	MOVEI A,=100
		SKIPGE ROFLG
		MOVEI A,=1000
		JRST IYDEF]
	CAIE C,12
	JRST [	CLRBFI
		JRST YINI1]
IYDEF:	IMULI A,LBUFL+1
	MOVEM A,IXβ!=&F~∀%!∨ A@Yα~∃a	t%≠∨-4AαY→%≥π≥(~∀∪≠=-∩AλXZbQ∧R~∀∪%≠+→∩↓αY→¬U
_Vb4∀∪≠∨Y
A(Y)∨¬
4∀∪≠∨Y~A(11∂!!Q$~∀∪M∨&A1≥!!)$4∀∪≠∨Y∩A(0dQαR4∀∪≠∨Y≥∩A)PXQ(R4∀∪β	⊂A(Y1≥!!)$4∀∪⊃%1~A)(11∂!!Q$~∀∪5∨-
AQ(Y(~(~∀∪⊃I%4A_11∂!!Q$~∀∪5∨-'∩↓(XbQ0R~∀∪!%%∩APXdQ_$~∀@∪M)5~bQ_R4∀@∪≠=-
A*1∃∨¬%∃_~∀@%¬→(APXQ*R4∀∪⊃%I5∩A*0Q)(R4∀∪≠∨Y~A∧1'-¬¬λF~∀∩4∀∪≠∨Y
A2Y%3!∨&4∀∪β	⊃∩A2XHQ_R~(∪≠∨-∃∩A1λ1	¬+,b~∀∪M↔∪!_↓αY∪≥%0∩∩w]⊃%
↓	≡A/∀A')βI(~∀∪)%'(A5β3¬∨8~∀∪'U¬∩Aα0hf~∀%∪	∪,↓αY6ZPi:~∀%⊃%→∨$A0Y1⊂~∀∪'=∃αAα1')∧4∀~∃≠¬3¬∨≤h∪β		$AαXhL~∀∪∪⊃∪-∩A∧Xhh~(∪πβ∪1
AαY1¬+
_4∀∪∃%M(A∨
→%(~∀%≠∨-
↓0Yα~(∪')hAαX~(∪⊃%→$A0Y24∀∪∃%M(A'Q∧~∀~)∨

%Pt∪≠∨Y
A0Ym1λXY1¬+
→t~∀∪'U¬∩Aα1→¬+
0~∃'Q∧t∪≠=-
A∧1∪≥∪04∀∪∪	%-∩A∧0hh~∀%≠∨-'$A∧Xh@````4∀∪≠∨Y≤AεY~∀∪%=(A∧X!εR~∀%!∨!∀↓ X~∀4∃!∨!(bt∪β=&@Q $~∃π!=!∀t∪A∨!∀A@X~∀→
∪≥⊃_t∪⊃I%4Aα1∃∨¬%∃_~∀∪
β∪_A∧X[→¬U
_Zb!*R~∀%∃%'(↓1∪≥_4b~∃10dt∪≠=-~AQ(XQ($~∀∪β⊃	∩A(1→¬+
0Vb~∀%πβ∪∂∀A(XQ∧R~∀∪)%'(Aa_d~∀%'+¬∩↓αXQ_$~∀∪≠=-≥&A∧~∀∪⊃I→~Aα11∂!!Q$~∀∪M+¬∩APY→¬+→_Vb~(∪∃%'PA11∨U(~∃!
+(t∪!%%4A0Y1∂!A)$~∀%≠∨-
↓)(Y7	3)
@ bdRh@`bY→5β$Y→	+
→:4∀∪≠∨Y~A)PXbQ_$∩∩w
%%'(A=≥
A⊃¬&A≠βI⊗Aβ≥⊂Aπ+(↓/∪)⊂↓∪(~∀%)→4AQ(Xh`@```∩$w	→∃)
A≠¬%⊗Aβ9λAπ+P~∀∪≠=-∩APXbW→	+
_VDQ_R~(∪'↔∪A∂
A	∃
α~∀%∃%'(↓
∪≥	0~∀∪≠=-
A∧1'-¬¬λ~∃1∪9_t∪≠=-~AQ(XQ($~∀∪β⊃	∩A(1→¬+
0Vb~∀%'∨∃∞↓∧Y1∪9_~∀∪!→%≡AQ(Y1∂A!)$~(∪≠∨-9&A)(4∀∪β	⊃∩A)(0Q_R~(∪≠∨-∀AαXQQ(R~∃a1∨+(h∪≠∨-M∩A)(0h``b@`~∀∪5∨-~↓)(XQPR∩∩wM≡A	∨∃&A→βM(~∃1≥!∨+(h∪∨!8A1∂ 11≥∪(4∀∪∃%M(A≥∨a∂ ~∀%∨+)'Q%7β'
∪4←πIβ≥↔∪9∞A1∂@~∀←:4∀∪→∨
⊗~∃∨U)∪(t%∨+(Aa∂ Y1≥!!)$4∀∪∃%M(A∨+Q∨⊗~∃⊃'↔%Ht∪!+M⊃∀A 1	)π!⊗~∀∪A+'⊃∀↓ Y1I$~∀∪A+'⊃∀↓ Y%I!≥(~(∪β'π%4@←1≥ A∨+Q!+(A∃%%∨$8~∀↑~)∨+)∨,t∪+≥1∨π⊗~(∪%→∃β&A1≥ X~∃a≠∨%
h∪!+'!∀A Y⊃)π⊃,~∀∪∃I'(A	=	_∩$∩w	1)
A¬+)∨≠¬)∪πβ1→2A∪_A	)¬π⊃λ4∀∪∨+Q')%7¬'π∪4=	→Q
A%Aβ(A=$A∨+P}←:~(∪∪≥π!%.Aε4∀∪πβ%≤AεXDj~∀∪%≥π⊃%\Aε~∀%πβ∪
↓εXbd4∀∪∨+Q')%7¬'π∪4<~∀←:4∀∪πβ%
AεX	≡D~∀%πβ∪≤↓εXE↑λ~∀∪∃I'(A∨U)
∪_4∀∪πβ%
AεX	$D~∀%πβ∪≤↓εXEdλ~∀∪∃I'(A1≥!∨+(4∀∪!+M⊃∀A 1π∨%	]≤∩∩∩m%β→12A	∨9
XAπ=%
A	=/≤~∀%πβ∪≤↓εXEλλ~∀∪∃I'(A	=	_~(∪πβ∪∀AεXE⊂D~∀∪)%'(A9∨	_4∃	∨	∃_t∪≠=-
Aα17
∪→9β~XY1↔≥)t~∀∪¬1(AαY1↔≥(,f~∀∪%≥∪(A⊃'⊗Xb\~∀∩O⊃'⊗@@N~∀∩@~∀∪∃I'(A6%'↔∪!≥
A	P~∀∩∪A+'⊃∀↓ Y1I$~∀∩%!+'⊃(A YI%!≥(4∀∩∪βMπ∪4←
∨+→	8O(A∂∃(A	∪M⊗A
∨HA	→∃)
B~(↑~∀∩%∃%'(↓≥∨	1:~∀∪1∨∨↔+@A	'⊗1→↔≥P~∀∪∃I'(A6%'↔∪!≥
A	P~∀∩∪A+'⊃∀↓ Y1I$~∀∩%!+'⊃(A YI%!≥(4∀∩∪βMπ∪4←1∨∨↔+@A
∨$↓	→Q
A
β%→λB4∀↑~∀$∪∃%'PA≥∨	∃→:~∀%≠∨-
↓αY
∪1!!≤~(∪≠∨-∃~AαY1↔≥(,f~∀∪M)5~↓→↔≥P~∀∪%∃≥β≠
↓	'⊗Y1↔≥(4∀∪πβ%α~∀∪)%'(A9∨	_4∀∪'↔%!∂
A⊃(~∀%!+'⊃(A Y1∃%$~∀%!+'⊃(A YI%!≥(4∀∪β'
∪4←%∃≥β≠
↓
∨$A⊃→)∀A
β∪1λB~(↑~∃≥=	_t%%→¬'
A	M⊗X~∀%'↔∪!≥
A	P~∀∪!U'⊃∀A@Y1%H~∀∪!U'⊃∀A@Y%%A≥(~∀%β'π∪h←β→_↓	∨≥
∧~∀↑~(∪πβ→1∩@bd$∩w→¬-
~∀4∃≥∨1≥ t∪!U'⊃∀A@Y	)
⊃⊗~∀%!+'⊃(A Y1∃%$~∀%!+'⊃(A YI%!≥(4∀∪β'
∪4@↑4∃1∂ ↓¬+'20A∨+)A+(A)<A	∪',}@↑~(∪∪≥π!%.Aα4∀∪πβ%
AαX	2D~∀%πβ∪≤↓αXErλ~∀∪∃I'(A∨U)
∪_4∀∪⊃%I5∩Aα0b`bn4∀∪⊃%I5~Aα11≥∪(4∀∪∃%M(A1∂A∨+(~(~∃1≥%(t∩hDn~∀∩≥1∂ @@N~∀$`~∃1≥!!)$h∪¬→∨
⊗@d~(~∃∪
8A→')	∪(Zb0x~∃1→∪0t∪5∨-
A∧Y7→'Q¬∪(ZE:~∀∪!%%4AY∃∨¬I_~∀%⊃%%4↓λY1∂A!)$~)1
∪10t∪β≥⊃πβ~A∧Y→¬+→_ZbVHQλR~(∪β		$AλY→	+
_VD~∀∪π¬∪∂
A⊂XQεR4∀∪∃%M(A1
%1_~∀%!∨!∀↓ X~∀x~∃π∨I	/≤t%≠∨-
↓(Y∃∨	
~∀%'+¬∩↓(Xb~(∪πβ→1∩A(XDb~∀∪)%'(@PX\~∀%!∨!∀↓ X~∀→≥β≠≥(t∪
→%¬
$~∀∪∨U)')$↓7β'π%4↑~∀%
∪→
z@←:4∀∪'Q5~A
%→1(,b~∀∪M)5~↓
∪→!A≤~∀∪5∨-'∩↓αXO¬%(N~∀%≠∨-4AαY
%→1(4∀∪!+M⊃∀A 1∂)≥¬~~∀∪M↔∪!≤↓α~∀@%≠∨-
↓αY6OA→(@@O:~∀@@@∪5∨-~↓αY
∪1≥β~~(∪πβ∪∀AεXD8D~∀∪)%'(A9∨1)8~∀∪!U'⊃∀A@Y∂)9β~~∀%≠∨-4AαY
%→1(4∃≥∨a)≤t∪
β∪
AXE6D4∀∪∃%M(A

⊃0~∀∪A+'⊃∀↓ Y∂Q ~∀∪!%→5~↓αY
∪1!!≤~(∪!+'!∀A Y≥) ~(∪⊃%%4AαY
%→!!≤4∃

	`t∪∪≥
⊃%.A~∀∪π¬∪
Aε0bd~∀%∃%'(↓

	04∀∪!∨A∀A X4∀~∀→∪≥¬%)&t∪A+'⊃∀↓ Y≥β5∂(~(∪⊃%%hA*Y∃=¬
~(∪⊃%%i∩A(XDnnQ*$~∀∪π=%
A(0~∀∪∃I'(A∪9¬∪)&4∀∪'∨(A*X~(∪⊃%→$A*XZH``~∀%∨!≤↓6bn.≥	'⊗@@N.at~∀∪∃I'(A∪9¬∪)&4∀∪→∨=↔+ A→∪→≥β4~∀∪∃I'(A∪9¬∪)&4∀∪'Q4@b`0~∀∪∪9!+(AT~∀∪≠=-
A(17¬3)∀@Pbd$h``b1→≠β$1→¬+
1:~∀∪∃1π⊂APXbQ*$~∀∪⊃1_A*YP~∀∪≠=-~ATY1∂!A)$~∀%⊃%→∩↓*XQ($~∀∪)1≥≤A*0nnnn\n~∀∪)%'(A
→∨5
4∀∪β	⊃∩A*XH``~∀%≠∨-≥$A(XQPR~∀∪¬		∩APXQ*R4∀∪π∨I
A(X4∀∪∃%M(A∪≥	∪)&~(∪∪≥!U(A*~)π→∨5∀t∪%1β&~(∪∃%'PA1∂!=+(~∀4∃∨+)ILt∪A+'⊃∀↓ Y≥β5∂(~(∪≠∨-∀A*Y1≥!!)$4∀∪⊃→I≡A(YT~∀∪≠=-≥&AP~∀∪)I4A(XDnn~∀%⊃%%5$AαXd@`Q(R4∀∪β	⊃∩AαX!*R~∀%π∨%
↓αX~∀%∃%'(↓∨+)
%_~∀∪5∨-≥&↓(~∀∪!→_A(1*~∀∪5∨-~↓(XbQTR~∀∪!%→∩ATXZd`@Q(R~(∪')h@b`X4∀∪∨!∃≤A6b\.O	',@@@N\a:~∀%∃%'(hX\~(∪≥)∃$A
∪1≥β~~(∪πβ∪∧~∀∪∨U)!+(↓*~∀∪I→βL~∀∪∃I'(A≥=	_~(~∀→
∪→9β~t∩@~∃
∪11(t$`~∀∩@~∃
∪1!!≤t$`~∀~)→↔≥Pt∪¬→=π⊗@h4∀~∃1≥'≥β~h∩`~∃a∂'1Pt∩`~(∩`~∃a∂'!!8t∩`~(~∃∪¬Ut∪¬1∨π⊗@L~∀~∃	∪))βλt∪
∨HA∪>hLX`XZEvb-∩4∃|~∃	3))βλt∪
∨HA∪>fXX`XZYw%!∃β(@l1vnn-%⎇|~∀4∃	¬+_t∪¬→=π⊗A→	+
_VH~∀~∃A	_t∪	→∨π⊗↓→!	_4∀~∃9λA¬≤~∀